gdkdevice: Add GdkDeviceTool to identify device tools
authorCarlos Garnacho <carlosg@gnome.org>
Tue, 6 Jan 2015 13:38:14 +0000 (14:38 +0100)
committerCarlos Garnacho <carlosg@gnome.org>
Wed, 6 Apr 2016 13:43:29 +0000 (15:43 +0200)
commit4ba95b09ba1b42aba68335d4a2df021cd58a5a32
treed87c6e24d0694b5e909ad9680c221a06e84f5284
parent0f962f107576ceb8adf697c0598fdeed51882e0a
gdkdevice: Add GdkDeviceTool to identify device tools

GdkDeviceTool is an opaque object that can be used to identify a given
tool (eg. pens on tablets) during the app/device lifetime. Tools are only
set on non-master devices, and are owned by these.

The accounting functions are made private, the only public call on
GdkDeviceTool so far is gdk_device_tool_get_serial(), useful to identify
the tool across runs.
docs/reference/gdk/gdk3-sections.txt
gdk/gdkdevice.c
gdk/gdkdevice.h
gdk/gdkdeviceprivate.h